Nuprl Definition : oset_of_ocmon
13,42
postcript
pdf
g
oset ==
g
set
latex
Up
groups
1
Wellformedness Lemmas
oset
of
ocmon
wf0
,
oset
of
ocmon
wf
Definitions
g
set
origin
oset == gset oset == gset set